en isabelle (n, proof_assistant) |
― IsA ⟶
Weight: 0.5
|
|
Source: DBPedia 2015 |
en isabelle (n, proof_assistant) |
― IsA ⟶
Weight: 0.5
|
|
Source: DBPedia 2015 |